Just composed a long post but the new laptop ate it. Essentially, that holding penalty should have been called.

European football now, eh?