Hallo Matthias Scharwies,

Ich habe das und einige weitere Kleinigkeiten verbessert. Ich hatte mal <source lang="nowiki"> aufgebracht - da meldet Mediawiki aber einen "Syntaxhervorhebungsfehler" → <nowiki> ist besser.

<pre> ist noch besser.

Bis demnächst
Matthias