after world war two shale oil production ceased