Pluto Erweiterung 40MHz VCTCXO (0,28ppm) + 25MHz Ausgang + 10MHz GPSDO Ausgang