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