Kan hende jeg tar feil, men… Er ikke en mine først og fremst en sprengladning som er gravd ned i bakken? Heter det ikke «gruve» på norsk?