i Torsdags synnerligen högtidlig.