German scholars started work on the ultimate Latin dictionary in 1894, and they’ll be done in four decades