Deutsches Bergbau-Museum Bochum. (Bochum : Deutsches Bergbau-Museum, 1976)