KRISTIANSAND den 23 juli.