Bericht über den Besuch des Bergbaumuseums in Bochum am 15. August 2023