fix: WebUntis-Schülerreport verkraftet fehlenden externKey

Klassenlehrer-Übersicht scheiterte komplett mit "Ungültige Zahl in Spalte
externKey", sobald ein Schüler der Klasse keinen gepflegten externen
Schlüssel hat (in echten Schuldaten vorkommend). externKey ist jetzt
optional statt Pflichtfeld (UntisStudent/UntisStudentDto.ExternKey -> int?);
betraf denselben Bericht wie der bestehende WebUntis-Klassenimport, der das
aber schon immer beim Weiterimport toleriert hatte.

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

LehrerApp.WebUntis/WebUntisModels.cs

@@ -41,9 +41,12 @@ public sealed record UntisStudentAddress(
     string? PostCode,
     string? Street);
 
+// ExternKey optional: reale Schuldaten enthalten Schüler*innen (z.B. frisch angelegt/übernommen)
+// ohne gepflegten externen Schlüssel - ein fehlender Wert bei einer/einem soll nicht den Abruf der
+// gesamten Klassenliste zum Absturz bringen (siehe WebUntisStudentReportParser).
 public sealed record UntisStudent(
     int UntisId,
-    int ExternKey,
+    int? ExternKey,
     string ClassName,
     string? Name,
     string? LongName,