KRISTIANSAND den 7 Dec.