Michaelis, Johann David, 1717-1791