byggnader äro mot brandskada försäkrade i Allmänna Brandförsäkringsverketför