Arbeiders, verenigt de wereld. Uit het Engels