arbetstidens fastställande till 9 timmar.