KRISTIANSAND den 10 dec.