Petroleum bitumen — Petroleum coke, petroleum bitumen and other residues of petroleum oils or of oils obtained from bituminous minerals