Renstrehnska badanstalten hålles öppenfr.