What kind of independence was the July 20th one?