1. Für letztere, die in Kokereien in Hochofenkoks verwandelt wird, sind die Preise seit einem Jahr drastisch gestiegen. ( Quelle: Frankfurter Rundschau vom 21.04.2005）
2. Hintergrund der Pläne sind die enorm gestiegenen Preise für Hochofenkoks auf zwischenzeitlich 450 Dollar pro Tonne im Frühjahr. ( Quelle: Frankfurter Rundschau vom 16.09.2004）