Leopold of Austria, astronomer