samtlige arbetare hos Hjuljerns grufbolag,