Translations:Manual:DumpRev.php/4/de