mayor of Tønsberg — public office in Norway