Vielen Dank an alle!
Da der Thread Debian betrifft, habe ich das Thema dort unter
https://debianforum.de/forum/viewtop...?f=13&t=174412
fortgeführt.