texidocde = "
Die @code{shortest-duration-space}-Eigenschaft kann verändert werden, um
das Aussehen von unbestimmten Glissandi anzupassen.
"
doctitlede = "Das Aussehen von unbestimmten Glissandi anpassen"
texidocde = "
Die @code{shortest-duration-space}-Eigenschaft kann verändert werden, um
das Aussehen von unbestimmten Glissandi anzupassen.
"
doctitlede = "Das Aussehen von unbestimmten Glissandi anpassen"