Translations:Extension:SyntaxHighlight/99/de

Anders als bei $pre- und $code-Tags muss (und sollte) hier bei HTML-Zeichen-Gebilden wie  das $and-Zeichen nicht mittels   escaped werden.