, , Den nya nationalteatern i Kristiania öppnari