Definition of "gasholder"