Translations:Manual:FixDoubleRedirects.php/4/de