Mosco convergence of nonlocal to local quadratic forms. (April 2020)