Eventually the hand miners’ tunnels gave way to new mechanized forms of mining.
De nouvelles formes mécanisées d’exploitation minière ont cependant fini par remplacer les tunnels creusés à la main par les mineurs.