hade infunnit sig i Tivoli Vauxhall , der den röda fanan svajade.