Deutsche Biographie - Pippin

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

Deutsche Biographie