skulle hafva omfattat 100,000 grufarbetare i Wales.