Gas world and gas coke (Benn Brothers, 1884)