Translation of "Einlegegreifer" in English