KRISTIANSAND den 10 maj.