ILDEFONS

Ildefons: übersetzung

althochdeutscher Ursprung, Bedeutungszusammensetzung aus: »Kampf« und »eifrig«. Namensträger: Hl. Ildefons, Erzbischof von Toledo.