6 ms·

https://archive.is/J6Hkj https://archive.is/J6Hkj The Washington Post mentions 14 * 10^9 DEM, or ~7.210^9 EUR or ~910^9 USD at the time.

• _ph_ 6y ago
  Your last number is off, 7 billion Euros would be like 9 billion USD.
  • markvdb 6y ago
    Than you for spotting this. The HN layout engine mangled that bit I'm afraid.