text: Thanks for the note - just to say that in OpenStreetMap we generally don't map what used to be there but no longer can be seen. Is there anything left over that should be added? And just to mention, you might also be interested in http://www.openhistoricalmap.org/about