har befalt , att den 13 oktober skall firas såsom en högtidsdagtill