Translation of "Setzen vorraus" in English