mur rasade i måndags under arbetet med nedrifningen af operabyggnaden i Stockholm , hvarvid flera arbetare skadades , dock efter hvad som uppgifves ingen lifsfarligt.