Сан-Марино во Второй мировой войне