República Federal Alemana (nombre propio): Nombre de la actual Alemania reunificada.