"arithmetic procedure" Deutsche bedeutung