The History of the EKF