Problem after updating to Android 10

Perhaps following a restart (spontaneously or not)?
As this has been mentioned as work-around by @ArjenU for similar problem, probably also after upgrading to Android 10: No 4G after wifi
(Apparently issue occurred under Android 9 already - see link in post #2 in that thread.)