KRISTIANSAND den 16 juli.