ich werde dem noch nachgehen. Denn eigentlich ist redis installiert. Muss es denn konkret "php8.0-redis" heißen? Bevor ich in den Urlaub bin, hatte ich leider keine Zeit mehr gehabt etwas am Problem zu machen. Es ist also nicht vergessen, nur aufgeschoben. Danke Dir für den Tipp.
Viele Grüße
Daniel