Verdämmung

Abschirmung eines Grubenteils durch Holz-, Stein- oder Betonwände gegen Wasser, Schlamm, Schwimmsand, Feuer.