Dynamics of microbial oxidation of methane in the water of stratified lakes