Kolexporten har i juli hafttn