omkring 12 000 kronor voro försäkrade i » Tor » för 4 000 kr. , hvadan egaren gören