KRISTIANSAND den 12 dec.