Gottlieb Wilhelm Leitner — Anglo-Hungarian orientalist