Translations:Extension:SimpleMathJax/6/de-formal