-- Migration: Benutzer-Farbeinstellungen
ALTER TABLE Benutzer 
ADD COLUMN farbe_haupt VARCHAR(16) DEFAULT NULL,
ADD COLUMN farbe_akzent VARCHAR(16) DEFAULT NULL,
ADD COLUMN farbe_hintergrund VARCHAR(16) DEFAULT NULL,
ADD COLUMN farbe_text VARCHAR(16) DEFAULT NULL;
