Det er satt i gang en redningsaksjon i Kristiansand etter at en dykker skal ha fått problemer. Nå er dykkeren hentet opp.