One of Denmark’s largest pension funds ... worth up to $72 million at its peak. The final shares have now been sold, though ...