--- /dev/null
+%% Translation of GIT committish: 0a868be38a775ecb1ef935b079000cebbc64de40
+ texidocde = "
+Um den @code{\\flageolet}-Kreis kleiner zu machen, kann diese
+Scheme-Funktion eingesetzt werden.
+
+"
+ doctitlede = "\\flageolet-Zeichen verkleinern"