Frederick, Herzog zu Sachsen,