chefen för domänstyrelsen en lön af 9,000 kronor.