And the problem is back; the reinstallation doesn’t seem to have fully fixed it.
I have now seen it three times again although occasionally it also just seems to work. Haven’t figured out the pattern yet. It could be that the phone “remembers” something about this until the next restart/ warm reboot…