Translations:Extension:SyntaxHighlight/1300/de

Agda (inkl. literate)