KRISTIANSAND den 3 aug.