åtta timmars arbetsdag för grufarbetare men icke för arbetare i allmänhet , förrän frågan blifvit öfvervägd.