I looked it up and the ratio of German soldiers to US soldiers is about 2:1 in Germany. Pretty remarkable when you think about. They are kind of outsourcing their military to the US. And that's a choice the Germans made, and are starting to reverse.