Mean reversion in EMS exchange rates