The Relevance of Index Funds for Pension Investment in Equities