an indoor swimming pool in the middle of a building