<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 26 Sep 2019, 18:43 Martin Koppenhoefer, <<a href="mailto:dieterdreist@gmail.com">dieterdreist@gmail.com</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>an unused building remains a building, hence the building=* tag should be kept.</div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">All disused physical objects i can imagine remain physical objects. Are you saying that we shouldn't use disused: for physical objects?</div><div dir="auto"><br></div></div>