Klasseninvariante eingefügt