9 , gamla okservatorium ),