Bataafse Petroleum Maatschappij — subcompany of the Royal-Dutch-Shell-oil company