http://www.php.net/manual/de/function.session-regenerate-id.php

> Die Funktion session_regenerate_id() ersetzt die aktuelle Session-ID durch eine neue und übernimmt die aktuellen Session-Informationen.

Bedeutet wohl, dass wir erst jetzt dieses Problem haben, und zwar durch `session_destroy()`…