varmbadhuset , med paviljong och servering för badgästers bekvämlighet.