Currency Unions, Export Margins, and Product Differentiation: An Empirical Assessment for European Monetary Union