och garfstål samt 6,463 dton gjutstål och stål af andra slag.