Gemeentelijk Gasbedrijf, Den Haag