Sysselmannen på Svalbard blir ny politimester i Agder