Vid rifningen af Operahuset rasade i går ett stycke mur och skadade sju arbetare , lyckligtvis ingen lifsfarligt.