Navman GPS ontvanger 10 kHz en 1 ppm uitgang