Egendomens taxering 80,000 kr.