fehlt in der Datenbank cities5000.txt (und aufwärts). Die Einwohnerzahl beträgt 46.475, die Stadt sollte also in allen City-Datenbanken gelistet werde.
Danke ich habe Wittenberg von PPL auf PPLA3 geändert und zugleich die Einwohnerzahl auf 30000 gesetzt.
Die Zahl von knapp 50000 bezieht sich auf die ganze Gemeinde, in der 'City' hat es weniger Einwohner.