KRISTIANSAND den 9 dec.