E.J. Brill's first encyclopaedia of Islam, 1913-1936 (Leiden)