nedsättning af arbetstiden till 35 timmar i veckan.