Under arbetet med rifuingen af gamla operahuset rasade vid 9-tiden idag