A Microsoft file hosting and synchronization service.
I found out that the problem is limited to "OneDrive Personal". It does not occur for "OneDrive Business", e.g.:
But even so it is a serious problem since searching for files is very basic feature which must work!