alltmer och lär nu omfatta 155,000 grufarbetare.