har sålunda för en verkstadsbesättning af 1,200 arbetare arbetstiden med bibehållande afveckolönen