"differentiable" Deutsche bedeutung