MKL1888:Tiefbau
[695] Tiefbau, Gesamtbezeichnung für die Anlage und Unterhaltung der Schleusen, Wasser- und Gasleitungen, Straßen etc. im Gegensatz zum Hochbau (s. d.); im Bergbau Abbau mit Hilfe künstlicher Wasserhaltung; sonst jeder unter dem Stollen getriebene oder ein in der größten Tiefe unter dem Stollen stehender Bau.