This is USD 9,1 billion, and this is only the initial order, over the years this is supposed to be expanded.
Traditionally Denmark has overwhelmingly bought US made weapons, so completely abandoning Patriot is very noticeable, especially since we use F35 fighter jets, and Patriot and F35 are designed to work together.
Personally I am extremely happy that our government did not choose American, although the US congress just a few days ago passed an offer for Denmark to buy Patriot for a similar amount.