Den 20 juli war också en stor helgdag.