push-back procedure - German English Dictionary