— Norska teatern i Kristiania såldes d.