tegelhus värdt 10,000 kr. , hvaraf murarna äro värda hälften eller 5,000 kr.