Gut, der Brockhaus ist vielleicht die Instanz; aber mittlerweile gibt es kostenlose Alternativen, auch für das Planetarium.