HAMMERFEST den 5 juli.