Kristiania teater skulle i gå ",