/* Workbench verwendet bewusst die Systemschrift und benoetigt keine eigenen Font-Dateien. */