View into the tour "Mining" of the permanent exhibition of the German Mining Museum Bochum, 27.11.2018.