grofarbetare ha det bättre stäldt än industriarbetarns samt icke kroppsarbetare i vanlig mening , hvilka när etablissementet eller kontoret äro stängda eller anställningenslut