A modern 25-meter pool with a 600-square-meter rooftop solarium for summer lounging. Big windows flood the space with light, though the water runs chilly and the lanes can get crowded.