Ze0zohk1
Habs in https://www.openstreetmap.org/changeset/109039021 umgesetzt. Ich mache hier zu. Verbesserungsvorschläge dann gerne im CS. (Den Richterkeller habe ich aber  noch auf dem Gebäude (jetzt: Gebäudeteil) gelassen. Wenn das falsch ist, sollten wir das in eine eigenen Node auslagern und auf das "Hauptgebäude" setzen.