VOM ERZ BIS ZUR INDUSTRIE: DAS DEUTSCHE BERGBAUMUSEUM ZEIGT DIE GESCHICHTE DES DEUTSCHEN BERGBAUS