Benitrihnska badanstalten hålles öppenfr.