‘ Tivoliteatern i Kristiania.