"Ein Grubenunglück ist ein Unfall, der sich beim Bergbau ereignet." - (de.wikipedia.org 26.02.2022)
[Stand der Information: 25.10.2023]