I mångdubbel bemärkelse var också dagen högtidlig,