A gas nozzle selling gas into the tank of a vehicle