deriv (derivation) - German English Dictionary