push-down queue - Spanisch Englisch Wörterbuch