Gravar-mail: Proton exit from the heme–copper oxidase of Escherichia coli