mayor of Stokke — public office in Norway