Johann Ernst III. von Sachsen-Weimar (1664-1707)/descendants