Zumindest bei den Boxenstopps waren Ferrari die Schnellsten.