The Mount Teide Observatory