"dobbel høyde" er et 12-bokstavers substantiv som brukes som synonym for "dobbeltrekord". dobbeltrekord betyr: To ganger så høy prestasjon