Ja, hab’s gesehen; ging ja schnell. Ich habe nicht gefunden, wie der Ablauf ist, dass die neueste Version auf openstreetmap.org aktiviert wird. Warten wir mal.