"verifying calculation" Deutsche bedeutung