Es bleibt dennoch die Frage, ob es sinnvoll ist, diese vollständige Bezeichnung zum Lemma zu nehmen und sich nicht stattdessen auf den sprechenden Namen zu besinnen, sofern ein Himmelskörper einen besitzt. Bei Namen natürlicher Personen würde man das so auch nicht tun, siehe etwa am Beispiel Karl-Theodor zu Guttenbergs. In einer professionellen Enzyklopädie wird er beispielsweise so bezeichnet: Ceres (Astronomie) Gruß! GS63 07:46, 9. Mai 2020 (CEST)