"proof calculation" Deutsche bedeutung