Algemeen militair ambtenarenreglement:Artikel 57c Arbeidsduur op feest- of gedenkdagen