Translation of "Raumzuschnitt" in English