Jubileumsfestligheterna i Kristiansand och konungens besök derstädes.