instränkning af arbetstiden för giusarbetare och alla arbetare wid statens werkstädertill