Translation of "Auszug aus der datei" in English