Germany is our second biggest trade partner after China, but some time ago it was first. China is developing rapidly and has already become the world's largest economy in terms of purchasing power parity. At any rate, as you know, on 8 October China was recognised as such, but naturally the US economy is much bigger overall for the time being.