med noggrannhet af badhus-direktionen , och då badtiden vanligen indelas i 2:ne terminer , nemligen från den 1 Juni till den 15 Juli ochderifrån