Seol mar théacs é seo: Gerhard Heilfurth: Das Bergmannslied