Stollenanlagen: Leitfaden Für Bergleute Und Tunnelbauer . (German Edition) by Haupt Georg