för bestämmande af en normal arbetstid för den fullvuxne manligearbetaren