"
doctitlefr = "Modifier la taille d'un \\flageolet"
+%% Translation of GIT committish :33f623301a41fcc53efadf96bca1c72834763415
+ texidocde = "
+Um den @code{\\flageolet}-Kreis kleiner zu machen, kann diese
+Scheme-Funktion eingesetzt werden.
+
+"
+ doctitlede = "\\flageolet-Zeichen verkleinern"