Footnote

a These are the official and correct names for what many refer to as West Germany and East Germany.