KRISTIANSAND den 20 sopt.