"pet coke" auf Deutsch pet coke Petrolkoks Ausführliche Übersetzungen für "pet coke" pet coke pet coke(auch: petroleum coke, oil coke) der Petrolkoks{Maskulinum}