arbetarepersonal blifvit olycksfallsförsäkrad i bolaget » Bore » för ett belopp af 193,000 kr. , och denna försäkring hadearbetarue