i torsdags med sedvanlig högtidlighet.