Part of The microphones and geophones, used to locate German mines during war, could be used to save miners trapped underground
