Title: Gases in manholes