@All
Ich habe den Fehler bei mir gefunden. Im Prinzip brauchte ich wirklich nur das mach, was @Tuxnet am Anfang geschrieben hatte. Das Problem war, dass die von mir mit:
sudo vi /usr/local/etc/php80/cli/conf.d/user_settings.ini
neu erstellte Datei die falschen Zugriffsrechte hatte. Nach einem...