Trotz setlocale(LC_ALL, 'de_DE') wollte die Ausgabe eines deutschen Datums nicht gelingen.
Schuld war der nicht unter diesem Namen installierte deutsche Zeichensatz.
Unter Linux lässt sich mittels
locale -a
anzeigen, welche Zeichensätze installiert sind.
Dort aufgeführt war u.a.
de_DE.utf8
Die Änderung
setlocale(LC_ALL, 'de_DE.utf8');
erbrachte die Lösung!
Schnell überprüfen lässt sich das durch die Ausgabe von
print(strftime('%A %B'));
