higher-order path termination - German English Dictionary