Gruvbolag tyngde börsen