Kung Oscar var i måndags i Kristiansand.