Mobilfunk: Feld "Mobilfunknetz" unter Anbieter & Tarif

Neues Dropdown "Mobilfunknetz" in der Anbieter-&-Tarif-Karte, nur
sichtbar bei Vertragstyp Mobilfunk. Optionen: Bitte auswählen (leer),
Telekom, Vodafone, Telefónica.

Neues Feld MobileContractDetails.mobileNetwork (String nullable,
speichert TELEKOM/VODAFONE/TELEFONICA) + idempotente Migration
(ADD COLUMN IF NOT EXISTS). String statt Enum, damit weitere Netze
ohne Migration ergänzbar sind. Anzeige in der Vertragsansicht mit
lesbarem Netz-Namen.

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

docs/todo.md

@@ -97,6 +97,17 @@ isolierte Instanz (keine Multi-Tenancy im Code), Provisioning + Abrechnung
 
 ## ✅ Erledigt
 
+- [x] **📱 Mobilfunk: Feld „Mobilfunknetz" unter Anbieter & Tarif**
+  - Neues Dropdown „Mobilfunknetz" in der Anbieter-&-Tarif-Karte, nur
+    sichtbar wenn Vertragstyp = Mobilfunk. Optionen: Bitte auswählen
+    (leer), Telekom, Vodafone, Telefónica.
+  - Neues Feld `MobileContractDetails.mobileNetwork` (String, nullable,
+    speichert TELEKOM/VODAFONE/TELEFONICA) + Migration
+    `20260727100000_mobile_network` (`ADD COLUMN IF NOT EXISTS`).
+    String statt Enum, damit weitere Netze ohne Migration möglich sind.
+  - Anzeige in der Vertragsansicht (Mobilfunk-Details) mit lesbarem
+    Netz-Namen.
+
 - [x] **🐞 Lieferbestätigung: eingegebenes Datum ändert Vertragsbeginn nicht**
   - Beim Upload einer Lieferbestätigung mit Datum wurde `startDate` nur
     gesetzt, wenn es noch LEER war (`if (!contract.startDate)`). Hatte