Deens pensioenfonds dumpt olie-aandelen