en tiondedel , 6,000 kr.