Translation of "Doppelschleifbock" in English