i allmänna brandförsäkringsverket för 11,700 kr.