English device interface: translation to other languages