Pippin, König von Italien — entry in the Allgemeine Deutsche Biographie