a record run - German English Dictionary