arbetstiden vid gasverket från 12 till 10 arbetstimmar.