Preis für OPEC-Rohöl auf Rekordniveau von 72,12 Dollar