återkom konungen till Kristiansand.