Institute of Marine Research 'Shark hotline' – if you spot a shark along the Norwegian coast, call this number