Translation of "Konditionssatz" in English