minierenHerkunftaus frz. miner „unterhöhlen, aushöhlen“, zu mine, → Mine (frz.)Bedeutungenmit Minen versehenunterhöhlenSiehe auch→ Mine