[837] Tiefbau, die Gesamtheit aller derjenigen technischen Arbeiten (bes. einer Stadtbauverwaltung), welche den Brücken- und Straßenbau, die Wasserversorgung und Kanalisation etc. betreffen; im Bergbau der Grubenbau mit Hilfe künstlicher Wasserhaltung.