KRISTIANSAND den 12 okt.