— att högtidsdagen , den 20 juli ,skall