Gloucestershire Royal Infirmary — hospital in Gloucester, United Kingdom