Tungsten is widely used in the electronics industry, where it is made into filaments for vacuum tubes and electric lights. It is also used in contact points in cars, welding electrodes, rocket nozzles, and cutting tools. Tungsten, combined with calcium or magnesium, is used to make phosphors. The metal was discovered in 1783 by the Spanish brothers Fausto and Juan José de Elhuijar, in Vergara, Spain. The name tungsten comes from the Swedish language “tung sten,” which means heavy stone. The German chemist Karl Wilhelm Scheele is also credited with isolating the metal in 1880.