How The U.S. Shale Gas Boom Threatens Oil-Indexation