att arbetstiden vid statens verkstäder icke får inskränkas dan första maj.