add Jaroslav Lichtblau into the credits for his translation help