#Moe-Editor-Eigenschaften. Einstellungen in dieser Datei haben Vorrang vor "moe.defs"
#Thu Oct 29 11:03:37 CET 2020