Goudmijn-ETF wordt te groot voor zijn index