Bletchley Park: inauguración de la nueva galería del Colossus