Translation of "Laufzeitentzerrer" in English