Dykker med hai i Farsund: – Har vært en godt bevart hemmelighet