brunns- oell badanstalt , 16 Juli — 31 Augusti,