Pedigree of Rauðdreki vom Holtdorftal