The Vettel overtake was legal. He had passed the marshal point at the end of the pit lane and they were waving green flags. The trackside and dashboard lights are there as an assistance to the marshals, but the flags take priority.
Spot the marshal post on the left just before the overtake, and notice the flag being waved.