Pension funds invest over 800 billion guilders