At some juncture a portion of those dollars will be turned into euros. EUR/USD has extended rally in early European trade, presently at 1.2455.