Warholms världsrekordskor delvis framtagna av Formel 1-stall