den 15 juli firat Henriksdagen , » konung Henrik den femtes namnsdag ».