enligt hwilken arbetstiden för alla de i regeringens tjenst stäende arbelare bestämmes till 8 timmar.