reparationer af operahuset och iståndsättande af skadad teatermaterielefter