petroleum ( inkommen i haveri ).