KRISTIANSAND den 4 okt.