 And take us to that final. Obviously, we don't know who Spain are going to play yet. But there have been these suggestions that German labour laws might get in the way of him staying on the pitch until the end, especially if it goes to extra time. I mean, is that a serious concern? The manager of Spain, Luis de la Fuente, was asked about it before the Germany game. And apparently the law is true.