Eisenhuttenleute, Verein&nbsp;Deutscher. <em>Steel manual</em>. Dusseldorf: Verein Deutscher Eisenhuttenleute, 1992.