La liberación de Leiden aún se celebra a lo grande, cada 3 de octubre.