Henströmska badanstalten hålles öppen^frånkl.