derivative of `DiscreteGlobalBasisFunction`
This merge request implements the derivative of a
DiscreteGlobalBasisFunction with respect to global coordinates. The
derivative fulfills the DifferentiableGridViewFunction concept, but
its derivative is not implemented.