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