texidocde = "
Um den @code{\\flageolet}-Kreis kleiner zu machen, kann diese
Scheme-Funktion eingesetzt werden.
"
doctitlede = "\\flageolet-Zeichen verkleinern"
texidocde = "
Um den @code{\\flageolet}-Kreis kleiner zu machen, kann diese
Scheme-Funktion eingesetzt werden.
"
doctitlede = "\\flageolet-Zeichen verkleinern"