The Principal Hotel, George Street, Edinburgh.