Translation of "Korrekturen einarbeiten" in English