Ernst von Bayern-München (1373-1438)/descendants