Таймер электронный EKF PROxima серии ТЭ-80