A not crowded pool

after the seasonal holidays - almost nobody.