Translation of "Definitionsgleichung" in English