Yas Marina Formel-1-Rundenzeiten sollen nach Streckenänderungen „10 Sekunden schneller“ sein