Translation of "Integer quotient" in German