har beslutat verka för att grufarbetarnes arbetsdag bestämmes till8