( af taxeringenämden 7,000 kr.