KRISTIANSAND den 1 dec.