GNSS velocimeter by adaptively combining carrier phase and Doppler measurements. Issue 7 (1st September 2020)