Title: Notes on the history of petroleum or rock oil