hof Encyclopedie der Eisenhiittenkunde.