Sources Used for the name Hildefons

Sources used to write the entry for HILDEFONS:
   Ernst Förstemann, Altdeutsches namenbuch (1900), page 827