Ok.
Just for info: a normal download (with other apps) do not remove Umlauts due system limitations. Maybe clear anyway.
However: if you WOULD make just random number, you can imagine that then the share of a podcast file would be not really user friendly … because it takes those internal AntennaPod file names.
This was exactly the reason why I discovered this.