Princess Princess Anna Sophie of Denmark (1647-1717), Electress of Saxony