Translation of "Grabungsschnitt" in English