■Hammerfest den 2 okt.