Translations:Manual:DumpRev.php/10/de