Translation of "Doppelringschlüssel" in English