Problem gelöst! Es lag am Kabel. Habe mir jetzt ein High-Speed-HDMI-Kabel besorgt und damit funktioniert es einwandfrei. Das Kabel, mit welchem die störungsfrei Uebertragung von 4K 50P 10Bit nicht geklappt hatte, war übrigens ein Originalkabel von Atomos, das aber offenbar nur für 4K und 25P ausgele...