Translation of "Beweisaussage" in English