We can add the shape by tracing from UrbisAdm, which matches most of it
https://www.openstreetmap.org/way/1303935594

(The map on openpermits includes parts that partly overlap with buildings… and that gives unwanted warnings in JOSM; should we do this, other mappers might want to "fix" the issue and redraw the shape anyway.)

Can we close it now?