Austrempeln der Minengänge

Austrempeln der Minengänge, so viel als deren Ausbauung mit Holz.

Quelle: Rumpf, H. F.: Allgemeine Real-Encyclopädie der gesammten Kriegskunst (Berl. 1827)