på Tivoli-teatern i Kristiania.