Anton von Hauer — Austrian translator (1779-)