Henschen må anvisas 4,000 kr.