Más tarde, en 1987, se nombró con las iniciales del "Astronomisches Rechen-Institut" y del "European Southern Observatory".