Translation of "Bohrsonde" in English