Buxton's pretty winter gardens, adjacent to the Opera House.