var mer än vanligt högtidlig.