varmbadhuset , med paviljong och servering för badgästersbekvämlighet