Ist aber eigentlich egal, relevant für den Artikel wäre es wohl lediglich, wenn es wichtige Stimmen gäbe, die auch Zwergplaneten als Planeten bezeichnen (ok ... muss man wohl nur etwas in der Zeit zurück gehen :-).-- Jocme 01:18, 28. Jul. 2012 (CEST)