Onder "voor hem geldende werktijden" wordt verstaan:
voor ingeroosterde ambtenaren:
in het rooster vastgelegde arbeidsduur en -tijden;
voor ambtenaren met variabele werktijden:
op maandag, dinsdag, woensdag, donderdag en vrijdag: de uren tussen
7.30 en 18.00 uur.