17 minutter.

Så kort tid tog det, før EU-toppen fejrede Viktor Orbáns historiske nederlag uden at nævne ham med ét ord.