the Anglo-Australian Obseratory/Royal Observatory Edinburgh