Is the euro priced for an exit?