badanstalten hålles öppen frånkl.