I arbetstidens afkortning till 10 timmar bevil- d.