KRISTIANSAND den 21 juli.