till en generaldirektör 9,000 kr.