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