[1019] Gegenmine, cuniculus transversus. – Gegenminen anlegen, transversis cuniculis hostium cuniculos excipere.
Adelung-1793: Gegenmine, die
Brockhaus-1911: Gegenmine
Meyers-1905: Gegenmine
Pierer-1857: Gegenmine