Tivolis opera i Kristiania ,hvilken