Och när reparationer inom operahuset påbjödos,