den i Tivoli uppförda sommarscenen.