Electronic astronomical two-channel TM-AS EKF PROxima