är brandförsäkrad i allmänna brandförsäkringsverket i Stockholm för omkring 13,000 kr.