konung Carl XV till Kristiania.