Antonin

ursprünglich ein römischer Familienname, wahrscheinlich etruskischer Herkunft, verbreitet in Deutschland durch die Verehrung des heiligen Antonius von Padua, dem Schutzpatron von Portugal (13. Jh.)