Johann Friedrich Hennig (German, born circa )