Nach dem Shanghai-Grand-Prix ist die Formel 1 in der Zwangspause.