Deutsche Biographie - Pippin I.

https://www.deutsche-biographie.de/gnd11879227X.html#ndbcontent

Deutsche Biographie