Заимств. в XVIII в. из нем. яз., где Mine «мина» (подкладывается!) восходит к Mine «подкоп, шахта».
Школьный этимологический словарь русского языка. Происхождение слов. — М.: Дрофа
Н. М. Шанский, Т. А. Боброва
2004