Fachwörterbuch der Gasindustrie Wörterbuch = Dictionary of the gas industry (Vulkan-Verl., 1982)