This is similar to https://wiki.openstreetmap.org/wiki/File:Richard_matthaei_haus.jpg
(seen fomr https://wiki.openstreetmap.org/wiki/Proposal:Building_passage#tunnel=building_passage)
So I guess I mapped correctly.