die Invariante {}