mayor of Grong — public office in Norway