Red-Bull-Berater Helmut Marko wurde offiziell verwarnt.