Karte 14 Schritt 1: geraet_instanz-Tabelle (additiv)

objektposition.seriennummer war ein Einzelfeld, konnte nur EIN Gerät pro
Materialtyp/Objekt abbilden (z.B. 2 Pulsoxymeter im selben Rucksack nicht
darstellbar). Neue Tabelle geraet_instanz erlaubt beliebig viele Exemplare
pro Position (Seriennummer, Prüfdatum, nächste Prüfung, Status). Zusätzlich
objektposition.pruefintervall_monate (individuell überschreibbar).

Bewusst additiv: seriennummer-Spalte bleibt vorerst stehen (Service/
Endpunkte/Frontend hängen noch daran), bestehende Werte werden per
INSERT...SELECT nach geraet_instanz kopiert. Drop + Umbau der abhängigen
Schichten folgt in Umsetzungsschritt 2 (siehe arbeitskarten/14_...).

Migration von postgres-expert gegengeprüft (ON CONFLICT DO NOTHING als
Sicherheitsnetz, DROP TYPE IF EXISTS ergänzt), Tests decken Mehrfach-
Instanzen, UNIQUE-Constraint je Position, gleiche SN an verschiedenen
Positionen und pruefintervall_monate ab.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01CVgbozhYmuEhiEJHffRXCV

backend/app/models/objektposition.py

@@ -3,7 +3,7 @@ import uuid
 from datetime import date
 from decimal import Decimal
 
-from sqlalchemy import Date, ForeignKey, Numeric, String, UniqueConstraint
+from sqlalchemy import Date, ForeignKey, Integer, Numeric, String, UniqueConstraint
 from sqlalchemy.dialects.postgresql import ENUM as PgEnum, UUID
 from sqlalchemy.orm import Mapped, mapped_column
 
@@ -43,3 +43,7 @@ class Objektposition(Base):
     # separat von seriennummer: Code identifiziert das gedruckte Label, SN das
     # Herstellerattribut - beide können divergieren (Etikett verloren/neu vergeben).
     code: Mapped[str | None] = mapped_column(String, unique=True)
+    # Karte 14: Prüf-/Wartungspflicht, individuell überschreibbar je Objektposition
+    # (wie sollmenge_override) - NULL = kein Prüfintervall (nicht prüfpflichtig,
+    # oder Standard aus dem Material/der Vorlage folgt später bei Bedarf).
+    pruefintervall_monate: Mapped[int | None] = mapped_column(Integer)