Translation of "Um es abzukürzen" in English