Wir haben seit gestern nur noch acht, Pluto gilt jetzt als "Zwergplanet".(es heißt allerdings, dass sich die Vereinigung kleinwüchsiger Menschen wahrscheinlich noch drüber beschweren wird, dass mit dieser Benennung die diskriminierende Bezeichnung "Zwerg" fortgeschrieben wird)