They divorced in 1957, although by then the marriage had been over in all but name for some years.
In 1957, they ended their legal marriage, although it had already ceased to function as a living entity for several years.