Checking GNSS-determined positions with EDM-observed distances. Issue 331 (July 2013)