När Carl XIII valdes till Norges konung.