"differential operator" Deutsche bedeutung