Wie groß ist Neptuns fester Kern?