— KRISTIANSAND den 7 Juni.