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