%% Translation of GIT committish: 13ac9d1dfbcc297166948ee396e9ade078d2446e
texidocde = "
Wenn man die Eigenschaft @code{'strict-grace-spacing} aktiviert,
%% Translation of GIT committish: 13ac9d1dfbcc297166948ee396e9ade078d2446e
texidocde = "
Wenn man die Eigenschaft @code{'strict-grace-spacing} aktiviert,