direktören för observatoriet i Kristiania , Mohn.