Title: Bericht über den 9. Allgemeinen Deutschen Bergmannstag