gällande faststäldes aflöningen för justitieombudsmannen till 8,000 kr.