"lift operator" Deutsche bedeutung