Veröffentlichungen aus dem Deutschen Bergbau-Museum Bochum.