fragen uns gerade wie wir die 2.5 verstehen sollen: Sollen wir uns überlegen welche Invarianten von welchen Methoden verletzt werden dürfen (also die Methode würde immernoch funktionieren). Oder ob die Methode dazu führen könnte, das eine Invariante verletzt wird?
Es geht eigentlich darum wie wir "may" übersetzen sollen
