KRISTIANSAND den 20 oktober.