Festdagen den 15 Augusti,