Inomhuspoolen med ett glastak som kan fällas upp.