Ferdinand III, Holy Roman Emperor (1608-1657)/descendants