— KRISTIANSAND den 19 Juni.