13B euro is 14.31B usd, so that’s 8.62%

(still a good chunk)