Veröffentlichungen aus dem Deutschen Bergbau-Museum Bochum (De Gruyter Oldenbourg, 2020)