Kjerstin Askholt blir ny politi­mester i Agder