Ich habe als Höhenangaben für den Vierjochkogel nur 650 oder 651 Meter gefunden, das entspricht auch der Erhebung, auf welcher der Sender steht. Die Position hier dürfte tatsächlich ~7 Meter höher sein, aber ich weiß nicht, ob das dann als eigener namenloser Gipfel zählt?