Neue Funktion Schüler austragen statt aus Kurs löschen.

TODO.md

@@ -862,9 +862,17 @@ Hinweis in Kapitel 1 — betrifft auch Kurse, nicht nur Klassen.
       Nachweise erhalten; ihr `GroupId` wird auf `null` gesetzt.
 - [ ] **7.2.2** Gruppe ins neue Schuljahr übernehmen: Kopie mit gleicher Schülerschaft,
       neues `SchoolYear`, neue `GroupMembership`-Einträge.
-- [ ] **7.2.3** Schüler aus einer Gruppe entfernen (`GroupMembership.LeftAt` setzen statt löschen).
-- [ ] **7.2.4** Umgang mit `MembershipPeriod.Custom` in allen Auswertungen prüfen
-      (Schüler zählt nur im belegten Zeitraum).
+- [x] **7.2.3** Schüler aus einer Gruppe austragen, ohne die Mitgliedschaft zu löschen — eigener
+      Dialog mit `CalendarDatePicker`, aktuellem Datum als Vorbelegung und frei wählbarem
+      Austrittsdatum. Setzt `GroupMembership.LeftAt`; Eintrittsdatum, Niveau und historische
+      Leistungen bleiben erhalten. Ehemalige Schüler können in der Gruppenansicht eingeblendet
+      und ihre Austragung zurückgenommen werden. Ein bereits gesetztes Austrittsdatum lässt sich
+      über denselben Dialog ändern.
+- [x] **7.2.4** `JoinedAt`/`LeftAt` und `MembershipPeriod` werden über den gemeinsamen
+      `GroupMembershipService` in allen gruppenbezogenen Auswertungen berücksichtigt: Mitarbeit,
+      Mitarbeits-Assistent/-Aggregation, Klausur-Punkteeingabe, Sammelnoten, Notenübersicht und
+      Zeugnisnoten. Ein Schüler zählt nur an Tagen bzw. in Zeiträumen, in denen die Mitgliedschaft
+      tatsächlich aktiv war; der Austrittstag selbst zählt noch als zugehörig.
 - [ ] **7.2.5** Archivansicht abgeschlossener Schuljahre (schreibgeschützt).
 
 ### 7.3 Import