Is it daylight saving time
in Europe/San_Marino?

Based on the timezone.