Translation of "Fühlerhülse" in English