Folkfesten på Tivoli i Kristiania,