åttatimmarsdagens införande i regeringens fabriker och värkstäder.