Mit der »Degradierung« Plutos vom Planeten zum Zwergplaneten wollen sich manche Astronomen nicht abfinden.