äro enligt ofvannämnda instrument öfver domarevärdering brandförsäkrade för 23,150 kr.