Migration 0051: workspace_merkmale und gruppen.workspace_id entfernen

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

migrations/0051_alte_workspace_strukturen_entfernen.sql

@@ -0,0 +1,11 @@
+BEGIN;
+
+-- Aufräumen nach Schritt C (07.10.2026): Seit 0050 hängen Merkmale an
+-- Workspace-Versionen (workspace_version_merkmale), und Gruppen tragen keinen
+-- eigenen Workspace mehr (sie ergänzen nur). Der neue Code liest beides
+-- nicht mehr; live geprüft, dass der Soll-Zustand aller Geräte vor und nach
+-- 0050 identisch ist.
+DROP TABLE workspace_merkmale;
+ALTER TABLE gruppen DROP COLUMN workspace_id;
+
+COMMIT;