Kokningen af ben-kolen och dermedsarnmanhän