Schlagmine

Schlagmine, dient zum Heraussprengen großer Steine oder Felsenteile; s. Schuss.

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