HAMMERFEST den 23 Maj.