mayor of Bergen - public office in Norway