fix: WebUntis-Vertretungen für kombinierte Gruppen und Karteileichen

- ClassToken-Vergleich normalisiert jetzt symmetrisch (beide Seiten) und
  ExtractClassTokens akzeptiert ";" und "," als Trennzeichen zwischen
  Klassen, da nie an einem echten kombinierten Termin verifiziert wurde,
  welches WebUntis tatsächlich verwendet.
- Abweichende Vertretungen tragen jetzt den genauen Vergleichsgrund
  (Fach/Klasse, roh vs. erwartet) in ihrer Beschreibung.
- Automatisch erzeugte Vertretungen, die bei einem späteren Poll nicht
  mehr abweichen, werden jetzt aktiv wieder entfernt statt als
  Karteileichen stehen zu bleiben (UntisDiffResult.SubstitutionExternalIdsToDelete).

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

LehrerApp.Desktop/Services/UntisSyncService.cs

@@ -124,6 +124,14 @@ public class UntisSyncService : IDisposable
             if (existing is not null) candidate.Id = existing.Id;
             _substitutions.Save(candidate);
         }
+        // Zuvor automatisch erzeugte Einträge, die jetzt nicht (mehr) gebraucht werden (siehe
+        // UntisDiffResult.SubstitutionExternalIdsToDelete) - existiert keiner mit dieser
+        // ExternalId, ist das ein no-op.
+        foreach (var externalId in diffResult.SubstitutionExternalIdsToDelete)
+        {
+            var stale = _substitutions.GetByExternalId(externalId);
+            if (stale is not null) _substitutions.Delete(stale.Id);
+        }
         foreach (var snapshot in diffResult.SnapshotToSave) _snapshots.Save(snapshot);
         foreach (var id in diffResult.SnapshotIdsToDelete) _snapshots.Delete(id);