/* Wird von fonts-einrichten.py befüllt (lokale Schriften). Ohne Inhalt nutzt die Seite Systemschriften. */