att arbetstiden för verkets embets- ochtjenstemän