">claudias_working_hours</span> <span class="special">-=</span> <span class="identifier">claudias_absence_times</span><span class="special">;</span>

    <span class="comment">//-------------------------------------------------------------------------
</span>    <span class="comment">// Claudia's boss is Bodo. He only works part time. 
</span>    <span class="comment">// This is the map of his regular working times:
</span>    <span class="identifier">interval_map</span><span class="special">&lt;</span><spa