Statistiques des prénoms Armenio, Armin