arbetstidens inskränkande till 9 timmar dagligen.