för 96 000 grufarbetare i norra England , hvilka redan genom fria öfverenskommelser med arbetsgifvarne fått sin arbetsdags normala längd bestämd till endast 7 timmar.