Alemanha Ocidental

== Portuguese == === Etymology === Calque of German Westdeutschland. === Proper noun === Alemanha Ocidental f (demonym alemão-ocidental) (historical, 1949–1990) West Germany (a former country in Central Europe, distinguished from the German Democratic Republic, commonly known as East Germany; official name: República Federal da Alemanha; capital: Bona) Synonym: República de Bona Coordinate term: Alemanha Oriental