äro brandförsäkrade för omkring 9 , 000 kronor.