hans aflöning ( med generaldirektörs titel ) till 9,000 kr.