Similar to Democratic People’s Republic of Korea and People’s Republic of China, hmm.
(West Germany was the Federal Republic of Germany.)
(West Germany was the Federal Republic of Germany.)