konsumtionen 8,519 tons Socke »,