+
+%% Translation of GIT committish: d96023d8792c8af202c7cb8508010c0d3648899d
+ texidocde = "
+Für den pädagogischen Einsatz kann eine Linie des Notensystems dicker
+gezeichnet werden (z. B. die Mittellinie, oder um den Schlüssel hervorzuheben).
+Das ist möglich, indem man zusätzliche Linien sehr nahe an der Linie, die
+dicker erscheinen soll, einfügt. Dazu wird die @code{line-positions}-Eigenschaft
+herangezogen.
+
+"
+ doctitlede = "Eine Linie des Notensystems dicker als die anderen machen"