Question: What did Denmark time at?
SQL: SELECT time FROM table_name_87 WHERE country = "denmark"