eines der bedeutendsten Observatorien der Welt auf dem Roque de los Muchachos