A metaproteomic approach gives functional insights into anaerobic digestion