استخرهای عمومی؛ پناهگاه خنک تابستانی یا بهشت باکتری‌ها؟