KRISTIANSAND den 15 dec.