, Royal Infirmary of Edinburgh, United Kingdom