man , att en laglig arbetsdag för grufarletare skulle hafvatill