England: Royal Leamington Spa: Royal Pump Rooms and Baths