Translation of "Typprüf" in English