Brexit extension: What just happened?

Brexit extension: What just happened?
The BBC's Adam Fleming explains how the EU agreed a Brexit delay.