"minuend" Deutsche bedeutung