arbetsgifvarens försorg samtliga med Operahusets rifning sysselsatta arbetare äro försäkrade mot olycksfall i olycksfallsförsäkringsföreningen Bore.