Pool post-it-aktion

Badepools welchen Swimmingpool oder Schwimmbecken nimmt man zum abkühlen bei einer Sauna, welche Pool größe nimmt man da?