"highest common divisor" Deutsche bedeutung