Wer hat gezeigt, dass Kopernikus recht hatte?