Translations:Extension:SyntaxHighlight/99/de

Anders als bei $pre- und $code-Tags müssen (und sollten) HTML-Zeichen-Gebilde wie  das $and-Zeichen nicht mittels   escaped werden.