Wie schwer ist Neptuns fester Kern?