Amtmannen i Stavangers Arnt , Gunder Aas.