KRISTIANSAND den 20 dec.