Paul Diels — German linguist (1882-1963)