@ wuerttemberger [#4456]

Da wirst Du recht haben. Ersteres war mir fürwahr nicht bekannt und beim zweiten wird die Ausgabe ja nicht umsonst als Abschiedsausgabe bezeichnet. Sorry also in zweifacher Hinsicht. ;-)

Gruß Michael