är också större än 1857 och stängjernsexporten föga mindre.