tie-breaking - German English Dictionary