A Guide to the Royal Mile in the City of Edinburgh - old leaflet