Geschichte des Deutschcn Bergbaus , » on Gmelin.