feat: PDF-Druck für Sitzplan, Notenliste, Klausur-Notenspiegel, Kompetenzbericht, Dokumentation

QuestPDF als PDF-Bibliothek eingeführt (11.3), bewusst nur in LehrerApp.Desktop referenziert -
zieht SkiaSharp-Native-Binaries mit, die im Server-Docker-Image nichts verloren haben. Neuer
PdfExportService mit gemeinsamem Kopf-/Fußzeilen-Layout (Titel, Stand-Datum, Seitenzahlen) und
schlanken Druck-DTOs statt ViewModels, damit die Erzeugung ohne Avalonia-Bezug testbar bleibt.
Speicherdialog läuft über den bestehenden ExportService (neues PDF-Format).

Fünf Druckvorlagen (11.4) als "Als PDF"-Button direkt in der jeweiligen Ansicht:
- Sitzplan: Raster mit Tafel-Banner, Tischabständen als echte Lücken, ausgeblendeten Plätzen als
  leere Rasterposition.
- Notenliste: druckt exakt die aktuell angezeigte Matrix (Zeitraum/Darstellung/Sortierung).
- Klausur-Notenspiegel: Kennzahlen, Notenverteilung und Aufgabenanalyse mit Balkendiagrammen,
  auffällig schwache Aufgaben rot markiert.
- Kompetenzbericht: Analyse-Tabelle für den ausgewählten Schüler (erledigt zugleich 8.3.3).
- Schülerdokumentation: alle Einträge chronologisch, vertrauliche/Entwurfs-Einträge markiert.

Layout an gerenderten Muster-PDFs visuell geprüft, nicht nur per Unit-Test.

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

LehrerApp.Desktop/Services/ExportService.cs

@@ -7,6 +7,7 @@ public sealed record ExportFormat(string Label, string Extension, string MimeTyp
 {
     public static ExportFormat Csv { get; } = new("CSV-Dateien", ".csv", "text/csv");
     public static ExportFormat Json { get; } = new("JSON-Dateien", ".json", "application/json");
+    public static ExportFormat Pdf { get; } = new("PDF-Dateien", ".pdf", "application/pdf");
 }
 
 public sealed record ExportFile(
@@ -21,6 +22,10 @@ public sealed record ExportFile(
     public static ExportFile Json(string dialogTitle, string suggestedFileName, string content) =>
         FromText(dialogTitle, suggestedFileName, ExportFormat.Json, content);
 
+    public static ExportFile Pdf(string dialogTitle, string suggestedFileName, byte[] content) =>
+        new(dialogTitle, EnsureExtension(SanitizeFileName(suggestedFileName), ExportFormat.Pdf.Extension),
+            ExportFormat.Pdf, content);
+
     private static ExportFile FromText(string dialogTitle, string suggestedFileName,
         ExportFormat format, string content, bool includeUtf8Bom = false)
     {