Heraldo de Madrid - Aktienkurse der großen Ölkonzerne steigen nach US-Einsatz in Venezuela