operahusets rifning sysselsatta arbetare äro försäkrade iolycksfallsförsäkringsför-