Johann IV. von Katzenelnbogen (c1363-1444)/descendants