Veröffentlichungen aus dem Deutschen Bergbau-Museum Bochum ;