What Europe can learn from the 1970s oil crisis: Don’t fear high prices