Well Redmi Note 10 Pro (Global) and Xiaomi Mi 10T Lite (Global) are the two phones I'm looking for which for the 6/128 GB variant seem to cost just about the same (~265 €). My focus is on:
DualSIM, dedicated microSD, good stabilized video 1080p and possibly also 4k, very good day and ok night pictures, fast cpu/gpu (Antutu over 250k), Fast LTE with Bands 3,20,7,1,32 (8,38,28a), 3.5mm-Jack.
Both devices have those features. Unfortunately no Snapdragon 8 series devices with dedicated microSD and 3.5mm-Jack exist, so I need to stick to this lower mid-range class.
Redmi Note 10 Pro real advantage of 108 Mpx Samsung5K HM2 f/1.9 over 64 Mpx Sony IMX682 Exmor RS f/1.89 needs to be proven by side by side dedicated picture and video test. With GCam probably because of the slightly better processor in the Mi 10T Lite (Snapdragon 750G) it seems possible to activate EIS for 4k Videos. With Snapdragon 732G this seems unlikely to be possible. Also Mi 10T Lite has 3 of the 4 important 5G Bands in my area, could not find info that a Note 10 Pro Snapdragon Upgrade to 5G will be released (Global, the Note 10 5G is based on MediaTek).
So the advantages of Note 10 Pro (AMOLED, 108 Mpx, Radio FM) currently seem less important then those of Mi 10T Lite. I will wait until detailed camera comparisons are available, possibly with GCam for both devices.
EDIT: I need to correct that Mi 10T Lite (Global) according to several reviews on YouTube has no dedicated microSD (only hybrid DualSIM). Many techsheets online seem to have dedicated. This is a bummer and will leave only Redmi Note 10 Pro (Global) as candidate for my next buy.