This is not a dictionary! - Search for "extra time" in The Danish Dictionary
February 27. 2016 from wordnet.princeton.edu
extra time — noun — english
playing time beyond regulation, to break a tie