och öfriga byggnader äro försäkrade i AllmännaBrandförsäkringsverket