diakritischen Zeichen Editorische Zeichen, die z. B. Korrekturen, Einblendungen, Umstellungen oder Unsicherheiten kennzeichnen
Contributed by Wout. View changelog.