y Reino Unido por un lado y la República Federal de Alemania por otro.