Tivoliteatern i Kristiania öppnade ifredags