demas allmänna braudförsäkrinrsbolag försäkrad för 18,000 kronor samt taxerad till 18,400 kr. , ä : intecknad för 10,000 kr.