"Differenzialoperator" Englisch