mayor of Trondheim - public office in Norway