den rymliga och ståtliga restaurationslokalen , som finnes vid sjelfva badanstalten.