"Kepler conjecture" Deutsche bedeutung