Johann Ernst II. von Sachsen-Weimar (1627-1683)/descendants