hade arbetstiden i allmänhet ej varit utsträckt mycket öfver 12 timmar.