af grufarbetare , som 1869 var 84 , 400 , hade 1883 stigit till 113 , 000.