El reloj de la catedral dio las siete y media.