gas-containing level in electrolyte