"antilinear operator" Deutsche bedeutung