Historical clue formulations

• *Currency replaced by the euro — 2019-12-31
• One of the currencies replaced by the euro in 2002 — 2015-12-12