No, I don't have a sense, but I know there are areas of excellence that export. It's been widely reported in the media for some of these years, but I don't have an overall number when it comes to the balance of trade in the military area.
On June 9th, 2023. See this statement in context.