Title: Berg- und hüttenmännischer Atlas. ...