"Púpos Pipin (* 767/769 – 811/813) Nagy Károly elsőszülött fia első feleségétől, Himiltrudétól." - (hu.wikipedia.org 11.08.2021)