har beslutit verka tor att grufarbetarnes arbetsdag bestämmes till8