Bijdrage tot de geschiedenis van het gasonderzoek te Leiden