That's right. As part of the agreement, what will happen is that they will receive only one pension in the country in which they retire, from the pension authority of that country, and the calculation of that pension entitlement will take into account contributions made in the other country.