/* Erzeugt aus den Backend-Einstellungen (Design). Nicht von Hand ändern –
   die Datei entsteht bei jedem Abruf neu aus der Datenbank. */