das hat regio selbst geändert (im Nachgang), und zwar, nachdem weiter gepostet wurde, ich hatte sein Original als Erstes kopiert, und laut dieser Vorgabe wäre noch Arnstadt rausgekommen
stimmt, in Deinem Post steht auch noch „rndtdt“ = Arnstadt an letzter Position. Einen Post später bei mante stand dann schon „RNNSTG“. Wenn man als Foreneröffner etwas ändern möchte, sollte man einfach die neue Version ans Ende stellen, dann passieren solche Irrläufe nicht.