af aftonens högtid samlats i Tivoli.