(Las ruinas no fueron demolidas hasta 1883.)