75 Jahre Deutsches Bergbau-Museum Bochum (1930 bis 2005): Vom Wachsen und Werden eines Museums (Veröffentlichungen aus dem Deutschen Bergbau-Museum)