Translations:Manual:ResetPageRandom.php/12/de