Könnte es sein, dass der offizielle Name der Stadt eines Tages (Datum ?) auf diese Form gebracht wurde ? Womöglich irgendwann zur Zeit des Deutschen Reiches. Habe schwer den Eindruck (vgl. auch: Frankfurt/O. usw.) -- 20:23, 7. Sep. 2023 (CEST)