Binmans Bergverkslexikon ; Berlin , .oorgan.