Bergbau : eine Literaturauswahl.