operahuset och iständsättande af skadad teaterntateriel efter branden sistlidne höst.