omfattar 73,000 af landets 74,000 grufarbetare.