Woher hat San Marino seinen Namen?

Vom Kroaten Marinus, der nach Italien kam, wo es damals eine Christenverfolung gab. Er flüchtete auf den Berg Titano, wo sich eine Gemeinde ansammelte, das heutige San Marino. San = heilig, weil er zum Diakon ernannt wurde.