Alle Änderungen von der gemeinsamem Session beim Fuchßi.
(tangiert nur Symboltabelle, und eine Schönheitskorrektur beim
Ringpuffer)