sysselsätter för närvarande 94,757 grufarbetare , af hvilka omkring 30,000 arbeta öfver 10 timmar , 53,843 i 10timmar