The Royal Observatory Edinburgh 1822-1972