Tiefbautechnische Maßnahme, um Bauwerke nachträglich durch Injektionen von Zementleim oder Kunststoffen grund- bzw. druckwasserfrei zu halten oder Undichtigkeiten nach Herstellen der Betonbauwerke auszuschalten.