Habt ihrs gut, wir hatten damals teilweise noch Atlanten, in denen die DDR eingezeichnet war 
Dass man das Regelwerk ändern musste, war ziemlich klar. Sonst würde bald jeder zweite größere Asteroid zu einem Planeten erklärt werden. Im Grunde sind das ja einfach nur Definitionen, Pluto gibts weiterhin.
