Rinmans Bergwerks-Lexikon , nied pl .,