roof over pedestrian area not rendered anymore

[HolgerJeromin]

building=roof with a layer=1 like
http://www.openstreetmap.org/way/80716477#map=19/50.77407/6.08688
should be rendered over a pedestrian area like
http://www.openstreetmap.org/way/80374943#map=19/50.77421/6.08717

I am pretty sure the (main attraction) building/roof was rendered before the last release.
https://commons.wikimedia.org/wiki/File:Elisenbrunnen,_Aachen,_April_2008.jpg

[matthijsmelissen]

This is duplicate with #688.

[HolgerJeromin]

Thanks. I remembered this bug, but was not able to find and verify it!