har verlden antagit , att bergoljan eller petroleum är destillationsprodukten från vidsträckta stenkolslager , hvarför den också ofta kallats för stenkolsolja.