Petroleum fastANTWERPEN den 5 Juli.