Nota de rodapé

a Estes são os nomes oficiais e corretos para o que muitos se referem como Alemanha Ocidental e Alemanha Oriental.