Translations:Manual:$wgDjvuOutputExtension/3/de