Neuer Key für Linux (Debian) Pakete

Ich hatte auch Probleme mit dem Key, nun habe ich es per Hand wie beschrieben eingetragen. Danach ist auch das Update ohne fehler durchgelaufen..

Aber: Ich habe von 7.2 auf 9.0 upgedatet .. eigentlich. Wenn ich aber in die Konsole schaue, bin ich immer noch auf 7.2.
Über einen Hinweis würde ich mich freuen !