Translation of "Definierbarkeit" in English