den allmänna badningen , då för tillfället minst 100 man badade.