As I have already written, I had already tried various settings in the CEC menu. Unfortunately, these did not have the desired effect.
I could deactivate CEC once for test purposes, but switching it off permanently is not an option.
The RPI is permanently on, so it is not pinging the TV by rebooting Kodi.
It's not related to CEC. Your TV detects RPi as A/V source, and that's the cause of the switch.
If that's the case, I'll have to live with it.
Thanks for the feedback anyway