Tivoliteatern i Kristiania är —enligt