Å Kristiania teater , som under sommaren undergått en betydligare reparation , öppnades säsongen d.