Christoph Friedrich Heilsberg — German lexicographer (1727-1807)