Translations:Manual:ConvertUserOptions.php/6/de