República Federal Alemana (nombre propio): Una de las dos repúblicas en que se dividió a Alemania al concluir la Segunda Guerra Mundial. Estaba aliada a los Estados Unidos, Gran Bretaña y Francia.