User with uid 1001: who is this

[robert rottermann]

Hi there

I have a folder on my Ubuntu 20.04 that has owner 1001 like so:

drwxrwxrwx  8   1001 abacus    4096 Nov  3 14:44  if_fernuni/


now I do not find any user with id 1001.


Who/what is that user with uid 1001?


thanks for your help.

Robert