allmänna Brandförsäkringsverket för 9,100 rdr hko.