skulle såsom i går afton fira en sorgehögtid efter framlidne konung Fredrik den sjunde i folkethingssalen på Christiansborg.