Sommerzeit, Schwimmbadzeit