uppgår till 10,000 af inalles 127,000 bergarbetare i hela Ruhr-kolgrufdistriktet.