arvode till ombudsmannen med kr.