Rinmans Bergverkslexikon ; Berlin , oorgan.