KRISTIANSAND den 6 dec.