¿Cuál fue la moneda oficial de San Marino hasta 2002?