Jørgen Fredrik Ording — Norwegian professor and translator