försäkrad i Allmänna hrandförsäkringsverket för 8,000 kr.