re: #63 Wendell Zurkowitz ((slave to the waffle light))

and North Korea is called the The Democratic People’s Republic of Korea

And East German was called the German Democratic Republic…