push-down queue - German English Dictionary