Manager ID verweist ueber die Cornerstone-ID, nicht ueber die Personalnummer

Im Feld Manager stand die Personalnummer der vorgesetzten Person -- also der
Wert, der in derselben Zeile als Local System ID gefuehrt wird. Cornerstone
verknuepft aber ueber die User ID. Der Verweis lief damit entweder ins Leere
oder, schlimmer, auf jemand anderen, dessen User ID zufaellig aussieht wie
eine Personalnummer.

Leer, wenn die vorgesetzte Person selbst keine Cornerstone-ID traegt. Aus
demselben Grund wie bei User ID und Username: eine Kennung der falschen Art
ist schlimmer als keine, weil niemand ihr ansieht, dass sie falsch ist. Bei
435 von 785 Personen fehlt die Kennung noch -- das ist eine Luecke in der
Zuordnungstabelle, kein Fehler im Export.

Die Abbildung im Kontext heisst entsprechend managerKennung und traegt jetzt
Zeichenketten, damit der Typ selbst keine Nummer mehr zulaesst.

app/api/export/cornerstone/route.ts

@@ -21,14 +21,14 @@ export async function GET(request: NextRequest) {
   const stichtag = asOf ?? todayIso();
 
   const { zeilen } = await withUser(gate.userId, async (tx) => {
-    const { rows, managerNummer } = await ladeExportMitarbeiter(tx, { asOf, filters });
+    const { rows, managerKennung } = await ladeExportMitarbeiter(tx, { asOf, filters });
 
     // Die eine Angabe, die die gemeinsame Auswahl nicht mitbringt: die
     // Kostenstelle hängt an der Planstelle, nicht an der Person. Erst jetzt,
     // weil erst jetzt feststeht, um welche Planstellen es geht.
     const positionIds = [...new Set(rows.map((r) => r.position_id).filter((id): id is string => Boolean(id)))];
     const kontext: CornerstoneKontext = {
-      managerNummer,
+      managerKennung,
       kostenstelle: await loadKontierungen(tx, { asOf: stichtag, positionIds }),
     };