Okay, danke für die Info. Editor läuft bisher gut. Aber ist ja gut zu wissen, dass es Alternativen gibt. n/t