Semiconductor memory and process for its manufacture