[tobinfricke]

I was surprised to learn that the population of Germany is 80 million, the same "order of magnitude" as the United States.

(By contrast, the U.S. has 30X the land area of Germany.)