Konung Carl XV:s höga namnsdag,