— enligt senare ingångna underrättelser — den 31 maj under vanliga högtidligheter.