Upsalla. Bin ich da wieder in die gleiche Falle getappst? Muss ich mir mal anschauen. Es ist schon etwas verwirrend mit den PHP-Versionen.
Scheinbar vergesse ich immer wieder, dass der Apache2 seine eigene PHP-Version nutzen kann.
Nach der Umstellung auf PHP 7.2 mit update-alternatives lief alles perfekt.
Danke für die wieder schnelle Hilfe.
Ekkehard