<Tr> <Td> GK </Td> <Td> 13 </Td> <Td> Kiko Casilla </Td> </Tr> <Tr> <Td> DF </Td> <Td> 6 </Td> <Td> Nacho </Td> <Td> </Td> <Td> 37' </Td> </Tr> <Tr> <Td> DF </Td> <Td> 15 </Td> <Td> Theo Hernández </Td> </Tr> <Tr> <Td> MF </Td> <Td> 20 </Td> <Td> Marco Asensio </Td> <Td> </Td> <Td> 89' </Td> </Tr>

Where do they play the champions league final