KRISTIANSAND den 12 Juni.