What does San Marino export? (2018)