Sources Used for the name Pippin

Sources used to write the entry for PIPPIN (1):
   Ernst Förstemann, Altdeutsches namenbuch (1900), page 300