Ruprecht IV. von Virneburg (c1355-1444)/descendants