"nabla operator" Deutsche bedeutung