grufarbete medför , icke kan afhjälpas genom tekniska medel , förordas arbetstidens afkortande.