Evidence from rare gases for magma-chamber degassing of highly evolved mid-ocean-ridge basalt