begrafning har i dag egt rum i Holmens kyrka i närvaro af konung Kristian,