Philipp von Katzenelnbogen (1427-1453)/descendants