In der Bemerkung von Definition 1.24 steht Datum. Ist das korrekt oder sollte da etwas Anderes (z.B. Dasein) stehen?