(como era llamado desde 1952 el Politburó) el 16 de julio del mismo año.