för Brevik har valts amtmannen Arneberg.