Mayor of Hammerfest — public office in Norway