Chrysopras
Stimmt – es gibt ja nicht viermal die Obertorhöfe, sondern alle vier/fünf Höfe zusammen bilden die Obertorhöfe. Danke für den Hinweis! Ich habe mal die vier place-Knoten in einem gemeinsamen place-Knoten zusammengeführt: https://www.openstreetmap.org/changeset/54464055