higher-order path termination - Deutsch Englisch Wörterbuch