Knud Knudsen — Norwegian linguist and philologist (1812-1895)