Johan Henrik Lidén (1741-1793) professor, teacher in the history of learning