Translation of "Ediktsdatei" in English