skulle hafva omfattat omkring 100,000 grufarbetare i Wales.