Error estimation for proper generalized decomposition solutions: A dual approach. (4th August 2020)