Fetching details from the dictionary...
Federal Republic of Germany
Federal Republic of Germany (1949-1990); West Germany