Bruns, Paul Jacob, orientalist