KRISTIANSAND den 3 dec.