to pace up and down - German English Dictionary