Stimmt, „das“ funktioniert, danke! Aber warum zum teufel geht es mit der „normalen“ Eingabe (⇧2) auch in TextEdit.app, aber NICHT in Mail.app und Safari.app? Kapier’ ich nicht...