ERM crisis in retrospect: What if a European central bank had been in existence before 1992?