República Federal de Alemania (nombre propio): Nombre oficial de la República Federal Alemana (RFA).