+
+%% Translation of GIT committish: d96023d8792c8af202c7cb8508010c0d3648899d
+texidocde = "
+Wenn Crescendo-Klammern zu kurz sind, können sie verlängert werden, indem
+die @code{minimum-length}-Eigenschaft des @code{Hairpin}-Objektes
+verändert wird.
+
+"
+ doctitlede = "Die Mindestlänge von Crescendo-Klammern bestimmen"