English include file: translation to other languages