mine (excavation/explosive) - German English Dictionary