Die Typdefinition in dieser Anwendungsinstanz unterscheidet sich von der Definition der Variablen.