grufarbetarnes antal är nu 90 , 000 , hvaribland 10,000 man,