Juli och 17 Juli — 31 Augusti , vore det önskligt , att resp. badbesökande behagade välja dessa tider,