#Moe-Editor-Eigenschaften. Einstellungen in dieser Datei haben Vorrang vor "moe.defs"
#Thu Sep 03 10:32:42 CEST 2020