+%% Translation of GIT committish: 0364058d18eb91836302a567c18289209d6e9706
+ texidocde = "
+Ein @code{|:}-Taktstrich kann auch zu Beginn eines Stückes ausgegeben werden, indem
+man die entsprechende Eigenschaft verändert:
+
+"
+ doctitlede = "Ein Wiederholungszeichen zu Beginn eines Stückes ausgeben"
+