Pasted in the English text for easier translating