för ombudsmannen till 5,000 kr.