feat: Discord-Bild und -Name im Dashboard

Wer ueber Discord hereinkommt, sieht sein Bild in der Kopfzeile, auf der
Kontoseite und neben seinen Eintraegen im Verlauf.

DIE ADRESSE BAUT DER DIENST, nicht die Oberflaeche. Gespeichert wird nur der
Bildstempel; das URL-Schema von Discord steht an EINER Stelle (avatarUrl in
db.ts) und nicht in jeder Ansicht, die ein Bild zeigt. Es hat drei Faelle, und
alle drei stehen dort:

  - Stempel faengt mit "a_" an  -> bewegtes Bild, muss als .gif angefragt werden
  - Stempel vorhanden           -> .png mit gewuenschter Groesse
  - kein Stempel                -> Discords Ersatzbild, dessen Nummer sich aus
                                   der ID ergibt: (id >> 22) % 6. Das ist die
                                   NEUE Rechnung; die alte ueber den
                                   Diskriminator gilt seit den Pseudonymen
                                   nicht mehr. Gegengerechnet an drei IDs.

Bild und Anzeigename werden BEI JEDER ANMELDUNG nachgezogen: wer sein Bild
wechselt, saehe sonst monatelang das alte und fragte sich, ob er im richtigen
Konto sitzt. Der Benutzername im Dashboard bleibt dagegen, wie er ist -- an ihm
haengen die Eintraege im Verlauf.

Der Avatar-Baustein kennt drei Faelle und keinen kaputten: Bild, sonst die
Initialen auf einer Farbe, die sich aus dem Namen ergibt (damit sie beim
Neuladen nicht springt), und fuer einen Token einen Schluessel -- ein Token hat
kein Gesicht, ein Platzhalterbild daneben waere eine Behauptung. Laedt das Bild
nicht (CDN nicht erreichbar, Stempel veraltet), faellt es auf die Initialen
zurueck statt ein kaputtes Bildsymbol zu zeigen.

Nachgemessen: cdn.discordapp.com liefert das Ersatzbild (200, image/png), die
Form der Bildadresse stimmt, und ein Passwort-Konto bekommt sauber avatar:null.

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

server/ui/src/api.ts

@@ -89,7 +89,16 @@ const del = <T,>(path: string) => request<T>(path, { method: 'DELETE' })
 // created_at) — ein hübscherer Name auf halbem Weg wäre eine Übersetzung, die
 // beim nächsten Feld vergessen wird.
 
-export type User = { id: number; username: string }
+export type User = {
+    id: number
+    username: string
+    /** Kam dieses Konto ueber Discord herein? */
+    discord: boolean
+    discordName: string | null
+    /** Fertige Adresse vom Dienst — das URL-Schema von Discord steht dort und
+     *  nicht hier. Null, wenn es kein Discord-Konto ist. */
+    avatar: string | null
+}
 
 export type MediaItem = {
     id: number
@@ -186,7 +195,13 @@ export type EventsSeite = {
     limit: number
     offset: number
     items: MediaEvent[]
-    akteure: { actor: string; actor_kind: string; n: number; zuletzt: number }[]
+    akteure: {
+        actor: string
+        actor_kind: string
+        n: number
+        zuletzt: number
+        avatar: string | null
+    }[]
     /** Ab wann aufgezeichnet wird — null, solange nichts drinsteht. */
     seit: number | null
 }