Europe is one thing. The euro is something else.