#Moe-Editor-Eigenschaften. Einstellungen in dieser Datei haben Vorrang vor "moe.defs"
#Thu Sep 03 09:52:51 CEST 2020