Untersuchung des Status computer-gestützter mathematischer Beweise am Beispiel des Beweises der Keplerschen Vermutung