den i Tivolis rymliga och festligt smyckade etablissement.