Translations:Manual:$wgUseTeX/3/de