Burgerlijk ambtenarenreglement defensie:Artikel 31i Arbeidsduur op feest- of gedenkdagen