ixenströviska badanstalten hålles öppen frånkl.