Gas (Koninklijke Vereniging van Gasfabrikanten in Nederland, 1880)