och dagen efter blef prins Kristian Norges konung.