för närvarande omkr. 20,000 grufarbetare af 30 , 000.