Trichter der Minen
Trichter der Minen, ist diejenige Öffnung, welche durch die ausgeworfene Erde, wenn man die Mine hat spielen lassen, entsteht; die Größe dieses Trichters hängt von der Größe der mindesten Widerstandslinie, und von der stärkeren oder schwächeren Ladung der Mine ab. S. Laden, Mine, etc.
Quelle: Rumpf, H. F.: Allgemeine Real-Encyclopädie der gesammten Kriegskunst (Berl. 1827)