för hela badtiden till den 20 September eller på vanliga terminer , med ombyte den 15 Juli , samt äfven på kortare tider.