Ist der hrm pro brustgurt mit edge 1030 kompatibel ???