The Inflationary consequences of a currency changeover: evidence from the Michelin Red guide