Translations:Manual:FixDoubleRedirects.php/10/de