Boeken over Grubenklänge: Eine Liedersammlung für Bergleute, bergmännische Sänger-chöre .