Wartime Woodburners: Gas Producer Vehicles in World War II