Ortsnamen ersetzen

Mit dieser Funktion können innerhalb der ewigen Bestenliste und/oder der Saison-Bestenliste Ortsbezeichnungen ersetzt werden. Dafür müssen der Ortsname, der gesucht werden soll, und der Ortsname, der den alten Namen ersetzen soll, eingegeben werden. Zusätzlich muss angegeben werden, ob die Suche in den ewigen Bestenlisten oder in den aktuellen Saisonbestenliste oder in beiden erfolgen soll. Die Ersetzungen werden durchgeführt, wenn der Dialog mit OK beendet wird und können nicht rückgängig gemacht werden.