higher-order path termination - Spanisch Englisch Wörterbuch