KRISTIANSSAND den 21 Juni.