Das ist wieder mal ein Posting, welches vor allem mir selber als Gedankenstütze dienen soll, damit ich beim nächsten mal, wenn dieses Problem auftritt, nicht so viel Zeit verliere:
Ich hatte das Problem, dass “alte” PHP-Sessions unter meinem Debian-System nicht gelöscht wurden. Für’s Löschen zuständig ist der Cron-Job /etc/cron.d/php5.