Translation of "Mine-detector" in German