+%% Translation of GIT committish: 0364058d18eb91836302a567c18289209d6e9706
+ texidocde = "
+Normalerweise werden Textzeichen nur über dem obersten Notensystem gesetzt. Sie
+können aber auch über jedem System ausgegeben werden.
+
+"
+ doctitlede = "Zeichen über jedem System ausgeben"
+