Using the other HDMI port did NOT solve the problem. There is still no CEC connection.
But I recognized that using HDMI0 only delivers very poor resolution (768p). With the same HDMI wire the other HDMI port (HDMI-A-2) I get 4k resolution in my 4k TV.
Does that suggest that the HDMI port is broken?