Die Stollenanlagen: Leitfaden für Bergleute und Tunnelbauer. by Haupt Georg