Potassium-selective microelectrodes used for measuring the extracellular brain potassium during spreading depression and anoxic depolarization in rats.