BergwerkS-Lexikon , 4 Rd.