Monday January 07 2019 23:18, you wrote to Gerrit Kuehn:
WD>>> Heavy metal ?
GK>> Kind of a tough question... the stuff is usually made of Titan, which GK>> happens to have a density on the border line between "light metal" and GK>> "heavy metal". Newer sources tend to call Titan a light metal, in older GK>> sources it is more likely to be referred to as a heavy metal.