On the function of copper in cytochrome oxidase