Burgerlijk ambtenarenreglement defensie:Artikel 30e Registratie werk- en rusttijden