gular working days so we do
</span>    <span class="comment">// an intersection of the interval_map with the interval_set worktime:
</span>    <span class="identifier">claudias_working_hours</span> <span class="special">&amp;=</span> <span class="identifier">worktime</span><span class="special">;</span>

    <span class="comment">// Yet, in addition Claudia has her own absence times like
</span>    <span class="identifier">discrete_interval</span><span class="special">&lt;</span><span class="identifier">dat