y las 5:30 p.m, cuando se lleva a cabo la subasta de cierre de precios del Xetra.