Wegen Zeitknappheit konnte ich leider nicht mehr auf die Bestimmung einer Schleifeninvariante eingehen. Ich werde das am Mittwoch aber noch in die Folien mitaufnehmen (Update: ist geschehen).