In terms of GDP, which one of the following is the largest economy ?