KRISTIANSAND den 10 deo.