Wenn uns irgendwann mal ein riesiger Asteroid auslöscht, dann soll er bitte (2309) Mr. Spock oder (12410) Donald Duck heißen, finde ich...