verkstad har nedsatt arbetstiden med ‘ / , eller från 10 timmar till 8.