KRISTIANSAND den 20 fehr.