"pet coke" in German pet coke Petrolkoks Detailed translations for "pet coke" pet coke pet coke(also: petroleum coke, oil coke) der Petrolkoks{masculine}