Translation of "Satzergänzung" in English