Hermann Paul - Deutsches Wörterbuch
Mine
(1601; L345 Friedrich Karl Ludwig Weigand/ L345 Herman Hirt) < franz. mine 1 »unterirdischer Gang im Berg- und Festungsbau, Erzgrube, Sprenggrube« (L345 Friedrich Karl Ludwig Weigand/ L345 Herman Hirt), dazu Goldmine, Diamantenmine; danach übertragen
2 ›Sprengkörper‹ (um 1600): eine Mine graben, springen lassen, besonders alle Minen springen lassen ›alles aufbieten‹, dazu (für die neueren Minen): Minen legen, räumen, Minenfeld, verminen, Tellermine; seit dem 19. Jahrhundert übertragen
3 ›Einlage für (Dreh-)Bleistifte‹ (L320 Trübner), dann auch für Kugelschreiber.
(1601; L345 Friedrich Karl Ludwig Weigand/ L345 Herman Hirt) < franz. mine 1 »unterirdischer Gang im Berg- und Festungsbau, Erzgrube, Sprenggrube« (L345 Friedrich Karl Ludwig Weigand/ L345 Herman Hirt), dazu Goldmine, Diamantenmine; danach übertragen
2 ›Sprengkörper‹ (um 1600): eine Mine graben, springen lassen, besonders alle Minen springen lassen ›alles aufbieten‹, dazu (für die neueren Minen): Minen legen, räumen, Minenfeld, verminen, Tellermine; seit dem 19. Jahrhundert übertragen
3 ›Einlage für (Dreh-)Bleistifte‹ (L320 Trübner), dann auch für Kugelschreiber.