KRISTIANSAND den 12 Dec.