A great bolt hole in the heart of Edinburgh