KRISTIANSAND d 12 Maj.