`PS. Some other sources are giving the German text as ``Dem Grossen Deutschen Astronomen``, I am looking in it (correct me if I am wrong, but this would translate as ``the great German astronomer``, right?). `