sorg- och minnesfest öfver Carl XV.