How old was Sigismund of Luxemburg when he wasn't named heir