Hmmm I wonder where they got those numbers from?
Denmark lost 4000 people military personnel during WW2????
12 - yes 12 - police officers/soldiers lost their lives in the German invasion of Denmark.
I suspect most of the other 3988 lost their lives fighting FOR the Germans against communism.
Or maybe the 4000 is a qualified CNN guesstimate.
