Title: The gas industry in Japan