Germany GDP $4.25 trillion