ytterligare 3 millioner francs till fullbordande af det nya operahuset , för hvilketkostnaderna