Welding machines, electric; Electric welding machines; Electric welding machines for metalworking; Electric arc welding machines; Electrodes for welding machines; Gas welding machines; Gas-operated welding machines