Thanks for the link!
It is not too much in this “manual”…
but enough for a normal user…
It is a pity that the usb port is disabled…
The new box does not have display and I was missing digital clock and other small but useful information (e.g when listening the radio).
So, I bought for 13 CHF simple digital clock, but it requires the power via usb, and I had naively thought that I can use the usb out of the tv box for this purpose….
No way - I have to power the clock separately…
Also I had to find a special adapter for the audio (to connect to the old amplifier…).
Otherwise the new tv box is OK.
Dmitry.