Translation of "Laufzeitspezifikation" in English