Translation of "Ratchet spanner" in German