Nice solution, thanks.
https://www.openstreetmap.org/relation/15705299

There might be other problems with this object: like mixing covered=yes, indoor=yes and building=yes.  But that is another problem.