Gravar-mail: Insights from quantitative metaproteomics and protein-stable isotope probing into microbial ecology