Pippin I., König von Aquitanien — entry in the Allgemeine Deutsche Biographie