Demolierungsminen
Demolierungsminen, nennt man alle diejenigen Minen, welche von der Besatzung der Festung gezündet werden, um ein von ihr verlassenes Werk zu zerstören.
Quelle: Rumpf, H. F.: Allgemeine Real-Encyclopädie der gesammten Kriegskunst (Berl. 1827)